임의의 행렬 $A \in \mathbb{R}^{m \times n}$에 대한 네 가지 기본 부분공간은 고립되어 존재하지 않는다. 이들은 서로 직교 보완 관계를 이루며 기하학적으로 연결되어 있다. 이러한 '직교 구조'는 사영과 최소자승을 통해 불일치 시스템을 해결하는 데 필수적이다. 우리는 행렬의 행공간 $C(A^T)$가 $\mathbb{R}^n$에서 영공간 $N(A)$와 완전히 수직이며, 열공간 $C(A)$가 $\mathbb{R}^m$에서 좌측 영공간 $N(A^T)$와 수직임을 확인한다.
정의 및 직교성
행렬의 구조를 이해하기 위해서는 부분공간이 수직이라는 의미를 먼저 정의해야 한다. 이는 단순한 벡터 직교성보다 훨씬 엄격한 조건이다.
- 부분공간의 직교성: 벡터 공간의 두 부분공간 $V$와 $W$가 다음 조건을 만족할 때 직교하다고 한다: 모든 벡터 $v$는 $V$ 내부에 있으며, 모든 벡터 $w$는 $W$ 내부에 있다. 공식적으로 표현하면, 모든 $v \in V$와 모든 $w \in W$에 대해 $v^T w = 0$이다.
- 직교 보완 ($V^\perp$): 부분공간 $V$의 직교 보완은 모든 모든 $V$에 수직인 벡터들을 포함한다. 이는 $V^\perp$로 표기하며 ("비 퍼프"라고 발음된다) 표현된다.
직교성의 기본 정리
선형대수학의 핵심 정리는 행렬의 작용을 그 공간의 기하학과 연결한다:
행공간 증명
$x$가 영공간 $N(A)$에 속한다면, $Ax = 0$이다. 즉, $A$의 각 행과 $x$의 내적이 0이라는 의미이다. 행공간 $C(A^T)$는 이러한 행들에 의해 생성되므로, 행공간의 모든 벡터는 $x$와 수직이어야 한다.
$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$
이는 차원의 아름다운 균형으로 이어진다. $\mathbb{R}^n$에서는 차원이 항상 보완 관계를 갖는다: $\dim(C(A^T)) + \dim(N(A)) = n$. 마찬가지로 $\mathbb{R}^m$에서는 $\dim(C(A)) + \dim(N(A^T)) = m$이다.
프레드홀름 대안
구조적 이중성이 존재하며, 다음 문제 중 정확히 하나만 해가 존재한다:
- $Ax = b$: 벡터 $b$는 열공간에 포함된다.
- $A^T y = 0$이고 $y^T b = 1$: $b$는 좌측 영공간에 성분을 가지고 있어 시스템이 일관되지 않게 된다.
🎯 함정: 두 벽
방 안의 두 벽은 수직처럼 보이지만, 실제로는 직교 부분공간이 아니다! 둘 다 만나는 선을 공유한다. 그 선 위의 벡터는 자신과 수직이 아니기 때문에 ($v^T v \neq 0$), 엄격한 정의는 실패한다. $\mathbb{R}^3$에서 두 평면은 절대 직교 부분공간이 될 수 없다.